literal proof
英 [ˈlɪtərəl pruːf]
美 [ˈlɪtərəl pruːf]
【法】书面证据
双语例句
- In additon, by analysing the equivalence relation of the RMB number representation and Chinese literal notation in the matter of mathematics, the paper gives common descriptions of the mathematical model of the conversion arithmetic, and the proof.
文章通过分析人民币的数值表示法与人民币中文大写表示法在数学意义上的等价关系，得出了转换算法实现的一般性数学描述和数学模型，并给出了具体的证明。 - Finally, we quote application of the literal renaming to illuminate the power of the renamings for prepositional proof systems.
最后，我们给出了一个文字改名的应用，以此来说明改名问题在证明系统中起到的重要作用。